Artificial Intelligence System - PDFSEARCH.IO - Document Search Engine

Artificial Intelligence System
Results: 1476

#	Item
821	The ARTS Real-Time Agent Architecture Konstantin Vikhorev Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-07-22 19:22:02 Procedural reasoning system Belief–desire–intention model Reasoning system Scheduling AgentSpeak Real-time computing Belief–desire–intention software model 2APL Artificial intelligence Multi-agent systems Computing
822	Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:23:56 Inductive reasoning Reasoning Multimodal interaction Rhetoric Robotics Case-based reasoning Dialogue Dialog system Robot Artificial intelligence Fiction Science
823	Microsoft Word - Rvised_Manuscript_Figures.doc Add to Reading List Source URL: dspace.nitrkl.ac.in Language: English - Date: 2010-04-12 16:40:34 Artificial intelligence Cybernetics Computational neuroscience Woodworking Fuzzy logic Fuzzy control system Drilling Neuro-fuzzy Drill Technology Neural networks Science
824	Call for Papers Integrated Intelligence Special Track at AAAI-10 July 11–15, 2010 Atlanta, Georgia USA Add to Reading List Source URL: www.aaai.org Language: English - Date: 2009-12-04 16:16:17 Competitions Digital media Grants Research Academic conference Association for the Advancement of Artificial Intelligence Electronic submission Intelligent tutoring system Academic publishing Academia Knowledge Education
825	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
826	Texture Features for Browsing and Retrieval of Image Data [Short Papers] - Pattern Analysis and Machine Intelligence, IEEE Transactions on Add to Reading List Source URL: vision.ece.ucsb.edu Language: English - Date: 2006-08-15 18:15:36 Artificial intelligence applications Imaging Gabor filter Functional analysis Content-based image retrieval Wavelet Image retrieval Facial recognition system Image search Artificial intelligence Vision
827	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-04-08 05:17:39 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
828	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
829	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
830	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge

UPDATE